Un Enfoque Generico y Cooperativo para la Resolucion de Restricciones de Intervalo
نویسنده
چکیده
La evidencia del éxito del paradigma de la programación lógica con restricciones (CLP) [3, 11] se encuentra en el número creciente de sistemas para CLP que se emplean, hoy d́ıa, en aplicaciones reales [14]. Principalmente existen dos razones para este éxito: la primera es que CLP extiende el paradigma de la programación lógica permitiendo soluciones más declarativas y legibles y, la segunda, es que proporciona propagación de restricciones sobre dominios espećıficos, con lo cual se generan implementaciones eficientes de los procedimientos operacionales.
منابع مشابه
Combinacion de Procesos de Clausura y CSP para la Resolucion de Problemas de Scheduling (Premio Accésit Jose Cuena)
El problema de scheduling ha sido estudiado bajo diferentes aproximaciones, fundamentalmente mediante técnicas CSP. En este artículo se presenta un método que combina el proceso de clausura de restricciones con el proceso CSP. Inicialmente, modelamos el scheduling como el problema de satisfacer y encontrar la solución de un conjunto de restricciones métricas disyuntivas, basadas en puntos de ti...
متن کاملLos Laboratorios de Investigación del C.I.C
Su objetivo es el estudio de procesos que tienen restricción en tiempo para su ejecución y los cuales típicamente se asocian a dispositivos autónomos. En este laboratorio se usa la computadora para medir, observar, monitorear, controlar y optimizar procesos, así como el trabajo que tiene restricciones de tiempo para su finalización o ejecución. Incluye tele-monitoreo, tele-adquisición de datos ...
متن کاملReingeniería de Bases de Datos Relacionales: Un Enfoque Basado en el Análisis de Dependencias de Inclusión
La conversión de un esquema de bases de datos en otro con mayor contenido semántico es un tema de investigación actual, y un tópico con aplicación en varias áreas de desarrollo tales como integración de esquemas, migración de sistemas “legacy” y reingeniería de modelos de datos desactualizados o de pobre calidad. Las dependencias de inclusión constituyen uno de los conceptos clave para llevar a...
متن کاملRepresentación con Restricciones de Medidas Cualitativas: Aplicación a un Problema de Scheduling
La programación lógica con restricciones está enfocada a resolver problemas por medio de cláusulas definidas. Conocida internacionalmente como Constraint Logic Programming y abreviada como CLP, la programación lógica con restricciones es un potente paradigma utilizado en aplicaciones como el diseño de hardware, inteligencia artificial, planificación, calendarización, optimización y procesamient...
متن کاملSistemas Inalámbricos para Aplicaciones Domóticas
En este artículo se detallan los objetivos y contenidos de la asignatura “Hardware para Domótica” dentro del master en “Sistemas Telemáticos e Informáticos” de la Universidad Rey Juan Carlos de Madrid. El enfoque de la asignatura se basa en un aprendizaje basado en la resolución de un problema real, en la que el alumno aprende los conceptos mediante la realización de un proyecto, en particular,...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Inteligencia Artificial, Revista Iberoamericana de Inteligencia Artificial
دوره 9 شماره
صفحات -
تاریخ انتشار 2005